🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📐 Denotational Semantics
Domain Theory, Fixed Points, Continuations, Program Equivalence
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Three Meanings of Effects
burakemir.ch
·
2d
·
Discuss:
Hacker News
🏹
Effect Systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Incommensurability
lesswrong.com
·
6h
➡️
Category Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Q3 Lab Update
i.redd.it
·
1h
·
Discuss:
r/homelab
🏠
HomeLab
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Polymorphism for Beginners
roscidus.com
·
1d
·
Discuss:
Hacker News
🐫
OCaml
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Object Orientation [2013 !]
jackrusher.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
My experience with AI as a front end developer
frontendundefined.com
·
59m
·
Discuss:
Hacker News
💎
Refinement Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev
·
1d
·
Discuss:
Hacker News
🔬
Static Analysis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Emergent Alignment via Competition
arxiv.org
·
3d
🧩
Parser Combinators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
MLOps Fundamentals: 6 Principles That Define Modern ML Operations (from the author of LLM Engineering Handbook)
javarevisited.substack.com
·
2d
·
Discuss:
r/programming
🔄
Reproducible Builds
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Token Models as Statistical Simulations: A Different Take
medium.com
·
9h
·
Discuss:
Hacker News
🧩
Parser Combinators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LingoDB – Data Processing with Compiler Technology
lingo-db.com
·
1d
·
Discuss:
Hacker News
🧩
Parser Combinators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How to stop functional programming
brianmckenna.org
·
20h
·
Discuss:
Hacker News
,
r/programming
🏹
Effect Systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Is CSS Turing complete? (2010)
stackoverflow.com
·
19h
·
Discuss:
Hacker News
🧮
Lambda Calculus
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Controlling program flow with capabilities in Scala
nrinaudo.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💎
Refinement Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Meandering Sea of Primordial Soupy Thought
kennethreitz.org
·
1d
·
Discuss:
Hacker News
🧮
Lambda Calculus
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The low-cost path to AI Mastery
antonyarkov.substack.com
·
20h
·
Discuss:
Substack
✓
Automated Theorem Proving
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building a Debugger • Sy Brand & Tim Misiak
buzzsprout.com
·
2h
·
Discuss:
r/programming
👁️
System Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Evals in the Age of Jarvis
lesswrong.com
·
12h
📊
Runtime Verification
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Everything you know is wrong
lawrencecpaulson.github.io
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu
·
14h
·
Discuss:
Hacker News
⚙️
PL Implementation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
Page 2 »